E. Bárcenas, J. Lavalle-Martínez, G. Molero-Castillo, A. Velázquez-Mena; "Craig Interpolation on the Logic of Knowledge"
https://ceur-ws.org/Vol-2264/paper2.pdf
著
Everardo Bárcenas
José-de-Jesús Lavalle-Martínez
Guillermo Molero-Castillo
Alejandro Velázquez-Mena
メモ
D. Gabbay; "Craig’s interpolation theorem for modal logics"
$ \bf K,S4
を含む論理の
補間定理
L. Maksimova; "Amalgamation and interpolation in normal modal logics"
全ての様相論理
L. Maksimova; "Interpolation theorems in modal logics and amalgamable varieties of topological boolean algebras"
G. D’Agostino; "Interpolation in non-classical logics"